Local consistency

Results: 221



#Item
111Royal Institute of Technology / GUIDO music notation / Constraint satisfaction problem / Local consistency / Tack / Software / Constraint programming / Gecode / Computing

Gecode an open constraint solving library Guido Tack Programming Systems Lab, Saarland University, Germany OSSICP´08 workshop at CP-AI-OR´08, May 22, Paris

Add to Reading List

Source URL: www.gecode.org

Language: English - Date: 2009-11-26 06:35:49
112Lambda calculus / Constraint programming / Type theory / Theoretical computer science / Scheme / Lambda / System F / Local consistency / Constraint logic programming / Programming language theory / Software engineering / Computer science

Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands.  Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2005-11-28 16:38:29
113Local consistency / Mathematical optimization / Computing / Constraint satisfaction / Constraint programming / Software engineering / Computer programming

Modeling and Programming with Gecode

Add to Reading List

Source URL: www.gecode.org

Language: English - Date: 2015-03-31 07:22:43
114Mathematics / Applied mathematics / Linear programming / Combinatorial optimization / Local consistency / Cutting-plane method / SCIP / Assignment problem / Relaxation / Mathematical optimization / Constraint programming / Operations research

CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem Wen-Yang Ku, Thiago Pinheiro, and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontar

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2015-01-28 09:11:43
115Operations research / Linear programming / Constraint programming / Duality / Lagrangian relaxation / Relaxation / Local consistency / Lagrange multiplier / Decomposition method / Mathematical optimization / Convex optimization / Mathematical analysis

The TV-Break Packing Problem Thierry Benoist1, Eric Bourreau2, Benoît Rottembourg 3 1 Bouygues e-lab, 1 av. Eugène Freyssinet, 78061 St Quentin en Yvelines Cedex, France 2

Add to Reading List

Source URL: tbenoist.pagesperso-orange.fr

Language: English - Date: 2008-07-09 00:56:16
116Mathematical optimization / Operations research / Convex optimization / Linear programming / Decomposition method / Constraint / Cutting-plane method / Local consistency / Optimization problem / Constraint programming / Theoretical computer science / Applied mathematics

Solving a Stochastic Queueing Design and Control Problem with Constraint Programming

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2007-09-11 09:43:03
117Theoretical computer science / Local consistency / Constraint satisfaction / Interval graph / Intersection graph / Linear programming / Decomposition method / Constraint programming / Graph theory / Software engineering

Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM, CNRS/University of Montpellier, France

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:31
118Computational complexity theory / Mathematical optimization / Constraint programming / Quadratic programming / Linear programming / Semidefinite programming / Local consistency / Knapsack problem / Constraint satisfaction / Operations research / Theoretical computer science / Applied mathematics

Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toron

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2015-01-28 09:11:33
119Artificial intelligence / Constraint satisfaction problem / Local consistency / Constraint satisfaction / Local search / Search algorithm / Backtracking / Mathematical optimization / Constraint logic programming / Constraint programming / Software engineering / Computer programming

5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the

Add to Reading List

Source URL: aima.cs.berkeley.edu

Language: English - Date: 2002-11-14 11:02:01
120Computer programming / Constraint satisfaction / Constraint graph / Local consistency / Logic programming / Constraint optimization / Hierarchical task network / Bart Selman / Automated planning and scheduling / Constraint programming / Software engineering / Theoretical computer science

C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning

Add to Reading List

Source URL: www.ai-center.com

Language: English - Date: 2005-12-27 13:41:27
UPDATE